class SUBTYPE inherit PRODUCT create
	make_sub
feature
	super : PRODUCT
	make_sub( n : STRING; t : PRODUCT) is
	do
		!!contents.make
		super := t
		make(n)
	end
end
